基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

PAI-CAD/CAM 模型及实现技术研究

本文根据敏捷制造与动态联盟将制造系统空间扩展到全国乃至全球,传统的用于产品开发的ＣＡＤ／ＣＡＭ系统已无法满足动态联盟条件下的产品开发要求,必须开发一种新的ＣＡＤ／ＣＡＭ系统才能满足这一要求。笔者根据国际ＣＡＤ／ＣＡＭ发展趋势,结合我国具体国情,在传统的ＣＡＤ／ＣＡＭ基础上提出了“ＰＡＩ－ＣＡＤ／ＣＡＭ（Ｐｓｅｕｄｏ－ＡｇｉｌｅＩｎｔｅｌｉｇｅｎｔＣＡＤ／ＣＡＭ）”的新概念,并建立了一种系统模型,此外,文章还对系统的实现技术进行了深入的探讨。     

确定初级分布式战术C~3I系统体系结构的方法

集中说明了虚拟技术在系统建模、计算机系统以及组网连接上的应用,重点探讨了在虚拟技术基础上构建初级分布式战术Ｃ３Ｉ系统体系结构的原理和方法。是文献〔１〕的续文     

虚拟现实系统中的视觉延迟及其克服算法

虚拟现实(VR)技术问世以来,用户在使用基于VR的飞行模拟器时有时出现恶心、头晕等不适感,这种现象已引起人们的关注。研究表明,视觉延迟是引起这种不适感的重要原因之一。分析了VR系统中视觉延迟产生的原因,并基于卡尔曼滤波技术,设计了视觉延迟克服算法。算法首先假定头部运动是一个随机过程,且有较大的随机加速度,活动幅度一般不超过80mm,建立了头部运动的随机数学模型;其次,采用了测量数据预处理技术以提高预测精度。理论分析和仿真检验都表明,该算法与以往的预测算法相比,计算量增加很少,但预测精度得到了明显的提高。进而减缓了图像的抖动和对操作者头部运动的限制,提高了与虚拟场景的适应能力。     

虚拟场景中的碰撞检测算法

综述了当前出现的虚拟场景中的各种碰撞检测算法。重点对包围盒层次法中的轴向包围盒法(AABB)、方向包围盒法(OBB)、离散方向多面体法(K-DOPs)的检测原理和检测效率进行了分析比较。得出的主要结论是:包围盒层次法应用极为广泛,检测效率取决于对包围盒的选取。K-DOPs是介于AABBs和凸包之间的包围盒,只要合理地选取平行平面对的个数和方向,就可以在碰撞检测的简单性和包裹物体的紧密性之间取得较好的折衷。     

LabVIEW在虚拟仿真中的应用

为了解决实际装备在教学中缺乏的问题,可以采用虚拟仪器技术搭建近似真实的虚拟教学平台,在平台上开发各种与实际装备功能和界面一致的虚拟装备,以弥补实际装备的不足,利用虚拟仪器的思想,采用图形化编程语言LABVIEM,完成了某电台装备的整体设计和功能实现,着重介绍了其实现技术细节。     

应用虚拟检测技术开发的舰艇机电设备通用测试分析仪

针对舰艇机电设备复杂 ,需要监测的参数数量大、种类多等实际情况 ,研制了一种通用测试分析仪 .该仪器采用虚拟检测技术 ,功能全面、携带方面、经济可靠 ,具有较高的推广价值和应用前景 .     

虚拟机应用软件VMware在计算机辅助教学中的应用

本文介绍了虚拟机应用软件VMware,并分析了虚拟机VMware软件作为一种新的教学辅助手段在计算机辅助教学中的应用。     

实现大空域变轨的三维虚拟目标比例导引律

为了实现反舰导弹的大空域变轨,提出了一种三维虚拟目标比例导引律。该导引律利用简单的控制指令就能控制导弹完成复杂的大空域变轨。采用变轨弹道可以提高导弹的机动性,有效地对抗敌方反导武器系统的拦截,提高突防能力。同时,采用变轨弹道可以增大导弹的射程,实现防区外发射,从而有效地提高发射平台的生存能力。最后,通过仿真实例证明所提出的导引律是很有效的。     

UML在装备虚拟维修训练系统设计中的应用

介绍了通用装备虚拟维修训练系统的功能需求和面向对象的统一建模语言(UML),结合构造虚拟维修训练系统的软件技术,以某型雷达装备为例,将雷达模型与UML视图相结合,阐述如何用UML语言对虚拟装备进行系统建模,从而完成仿真功能。